Inductive logic programming - PDFSEARCH.IO - Document Search Engine

Inductive logic programming
Results: 65

#	Item
51	Functional Programming and Specification Lecture Note 3, 11 March 2011 Proving that a function meets its specification We can show that a program satisfies its specification by proving that it satisfies all of the Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-11 07:20:09 Inductive reasoning Mathematical logic Mathematical proofs Graph theory Mathematical induction Structural induction Recursion List Constructible universe Mathematics Software engineering Computer programming
52	In Leake, D., ed., 1996, Case-Based Reasoning: AAAI Press/MIT Press, [removed]Menlo Park: Experiences, Lessons, and Future Directions Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2000-02-16 22:40:07 Case-based reasoning Learning Educational psychology Cognition Mind Problem solving Logic programming HYPO CBR Reasoning system Inductive reasoning Reasoning Critical thinking
53	KDD Cup 2001: Gene/Protein Function Prediction Using the Multirelational Learning Algorithm RELAGGS Mark-A. Krogel Otto-von-Guericke-Universität, Magdeburg, Germany Add to Reading List Source URL: www.sigkdd.org Language: English - Date: 2011-01-27 14:00:26 Data analysis Artificial intelligence Inductive logic programming Knowledge discovery Knowledge Magdeburg Interaction Data mining Science Machine learning
54	Metareasoning Stuart J. Russell Computer Science Division University of California, Berkeley November 21, 1997 Metareasoning is \reasoning about reasoning"\|in its broadest sense, any computational Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2011-03-23 22:57:04 Inductive reasoning Reasoning Anytime algorithm Machine learning Algorithm Bounded rationality Cognitive architecture Lookahead Logic programming Artificial intelligence Science Cognition
55	A Fixedpoint Approach to (Co)Inductive and (Co)Datatype Definitions∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England 28 May 1998 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:49 Mathematical logic Computability theory Theoretical computer science Recursion Theory of computation Primitive recursive function Structural induction Recursive definition Coinduction Mathematics Computer programming Software engineering
56	L. Paulson A Fixedpoint Approach to (Co)Inductive Definitions A Fixedpoint Approach to (Co)Inductive Definitions Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Applied mathematics Mathematical logic Programming idioms Theory of computation Computability theory Recursion Recursive definition Coinduction Lawrence Paulson Mathematics Computer programming Theoretical computer science
57	P e t e r F l a c h Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2008-02-27 05:32:06 Peter Flach Data collection Data mining Logic programming Computational learning theory Inductive logic programming International Conference on Machine Learning Relational data mining Artificial intelligence Machine learning Statistics
58	P e t e r F l a c h Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2008-01-31 15:30:16 Science Peter Flach Inductive logic programming International Conference on Machine Learning Inductive inference Logic programming Computational learning theory ECML PKDD Rule induction Artificial intelligence Machine learning Statistics
59	Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web area Francesca A. Lisi Dipartimento di Informatica, Universit` a degli Studi di Bari, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Ontology Knowledge representation Reasoning Information science Datalog Description logic Web Ontology Language Semantic reasoner Semantic Web Information Computing
60	Inductive-inductive Definitions Fredrik Nordvall Forsberg⋆ and Anton Setzer⋆ Swansea University {csfnf, a.g.setzer}@swansea.ac.uk Abstract. We present a principle for introducing new types in type Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2010-09-29 18:22:59 Deduction Binary operations Entailment Logical consequence Metalogic Mathematical induction Function Generic programming Inductive reasoning Logic Mathematics Proof theory

UPDATE